منابع مشابه
Slotted-Circus : A Generic UTP framework for discretely-timed Circus
3 Slotted-Circus (Formal Definition) 10 3.1 Observational Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.2 Required Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 3.2.1 Accepted and Refused Events and Equivalent Traces . . . . . . . . . . . . . 11 3.2.2 Null Slots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
متن کاملIsabelle/Circus
The Circus specification language combines elements for complex data and behavior specifications, using an integration of Z and CSP with a refinement calculus. Its semantics is based on Hoare and He’s unifying theories of programming (UTP). Isabelle/Circus is a formalization of the UTP and the Circus language in Isabelle/HOL. It contains proof rules and tactic support that allows for proofs of ...
متن کاملConfidentiality Annotations for Circus
This paper presents a novel construct for specifying confidentiality properties over Circus processes. By extending the semantics of Circus, we identify how functionality and secrecy can be united within a single framework. We use this construct to formalise a selection of confidentiality properties over a model of an auction system.
متن کاملFrom Circus to JCSP
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, we present rules to translate Circus programs to Java programs that use JCSP, a library that implements CSP constructs. These rules can be used as a complement to the Circus algebraic refinement technique, or as a guideli...
متن کاملSpontaneous Termination of Circus
The incidence, mechanisms and sites of block of spontaneous termination of circus movement tachycardia (CMT) using an atrioventricular accessory pathway (AP) were analyzed in 24 consecutive patients (17 with Wolff-Parkinson-White syndrome and seven with a concealed AP) who were not ieceiving antiarrhythmic drugs. Spontaneous termination of tachycardia occurred in 10 patients (105 episodes). A r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: STEAM
سال: 2014
ISSN: 2327-2074
DOI: 10.5642/steam.20140102.24